منابع مشابه
Model-Based Safety-Cases for Software-Intensive Systems
Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived.
متن کاملSafety Certification of Software-Intensive Systems with Reusable Components
This document is a deliverable of the SafeCer project1, and outlines a generic process model for certification of systems developed using a component-based development approach. The process model is based on a number of functional-safety standards and associated requirements which so far have been elicited. The main contents/contributions of this deliverable are: A description of the stakehol...
متن کاملSoftware intensive embedded systems
Embedded systems are critical components of our everyday lives, be they in control systems like airbag controllers in cars, or in consumer products like washing machines and phones. Since such electronic products evolve to software intensive systems, software, becoming larger, more complex and prevalent, poses severe problems in the development of those systems. The required degree of dependabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Aerospace and Electronic Systems Magazine
سال: 2004
ISSN: 0885-8985
DOI: 10.1109/maes.2004.1365014